Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
631	PDF Document Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2001-06-01 08:11:10 Probabilistic complexity theory Turing machine Predicate transformer semantics Program logic Randomized algorithm Probabilistic Turing machine PP NL Determinism Theoretical computer science Computational complexity theory Applied mathematics
632	PDF Document Add to Reading List Source URL: www.cs.uchicago.edu Language: English - Date: 2008-12-17 14:33:43 Computational complexity theory Logic in computer science Alexander Razborov Automated theorem proving Natural proof Nevanlinna Prize Proof complexity Frege system Steven Rudich Theoretical computer science Applied mathematics Mathematics
633	PDF Document Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2008-01-04 17:28:09 Computability theory Logic in computer science Proof theory Computational complexity theory Propositional proof system Decision problem ACC0 First-order logic Reverse mathematics Theoretical computer science Mathematical logic Mathematics
634	PDF Document Add to Reading List Source URL: www.ajbasweb.com Language: English - Date: 2012-07-31 13:34:47 Artificial intelligence Mathematical logic Cybernetics Computational neuroscience Computational statistics Neuro-fuzzy Fuzzy control system Adaptive neuro fuzzy inference system Artificial neural network Neural networks Fuzzy logic Logic
635	PDF Document Add to Reading List Source URL: web.mit.edu Language: English - Date: 2008-01-24 23:12:23 Logic Artificial intelligence Computational linguistics Semantics Grammar Open Mind Common Sense Semantic network Commonsense knowledge base WordNet Linguistics Science Knowledge representation
636	PDF Document Add to Reading List Source URL: u.cs.biu.ac.il Language: English - Date: 2007-06-20 15:27:10 Logical consequence Natural language processing Computational linguistics Textual entailment Entailment Inference Automatic summarization Axiom Word-sense disambiguation Logic Science Linguistics
637	PDF Document Add to Reading List Source URL: u.cs.biu.ac.il Language: English - Date: 2007-07-31 03:26:00 Logical consequence Natural language processing Pragmatics Statistical inference Textual entailment Computational linguistics Inference Entailment Implicature Logic Science Statistics
638	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2009-10-12 16:16:00 NP-complete problems Logic in computer science Boolean algebra Analysis of algorithms Exponential time hypothesis 2-satisfiability Conjunctive normal form Boolean satisfiability problem Clique problem Theoretical computer science Computational complexity theory Applied mathematics
639	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-06-14 11:31:33 Finite model theory Computational complexity theory Model theory FO Structure Datalog Transitive closure Database theory Descriptive complexity theory Mathematics Theoretical computer science Mathematical logic
640	PDF Document Add to Reading List Source URL: kornai.com Language: English - Date: 2011-07-23 12:39:04 Science Philosophical logic Lexical semantics Meaning Computational linguistics Generative lexicon Modal logic Knowledge representation and reasoning Word-sense disambiguation Linguistics Semantics Logic

UPDATE